#include <stdio.h>
int main(){
	char *month[13]={" 0","January","February","March","April","May","June","July","August","September","October","November","December"};
	int n;
    printf("Enter a number: ");
    scanf("%d",&n);
    printf("%d:%s",n,month[n]);
    return 0;
} 